1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W/3FCL5B8 |
Repositório | sid.inpe.br/plutao/2013/12.12.15.37 |
Repositório de Metadados | sid.inpe.br/plutao/2013/12.12.15.37.08 |
Última Atualização dos Metadados | 2021:02.11.20.56.51 (UTC) administrator |
Rótulo | lattes: 6217509029802638 1 AmbrosioJuliTika:2013:OnEx |
Chave de Citação | AmbrosioJuliTika:2013:OnEx |
Título | Validation of de Satellite Speed Measurement System with the use of formal methods for Test case generation: one experiment |
Formato | DVD |
Ano | 2013 |
Data de Acesso | 30 abr. 2024 |
Tipo Secundário | PRE CI |
|
2. Contextualização | |
Autor | 1 Ambrosio, Ana Maria 2 Julio Filho, Antonio Cassiano 3 Tikami, Auro |
Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 DSE-ETE-INPE-MCTI-GOV-BR 2 CSE-ETES-SPG-INPE-MCTI-GOV-BR 3 CSE-ETES-SPG-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 ana.ambrosio@inpe.br |
Endereço de e-Mail | ana.ambrosio@inpe.br |
Nome do Evento | Latin-American Symposium on Dependable Computing, 6 (LADC'2013). |
Localização do Evento | Rio de Janeiro |
Data | 2013 |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2013-12-12 15:37:08 :: lattes -> administrator :: 2021-02-11 20:56:51 :: administrator -> marcelo.pazos@inpe.br :: 2013 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Palavras-Chave | test case generation FSM-based testing satellite operation |
Área | ETES |
Arranjo 1 | urlib.net > CSE > Validation of de... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Validation of de... |
Conteúdo da Pasta doc | não têm arquivos |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Grupo de Usuários | lattes marcelo.pazos@inpe.br |
Visibilidade | shown |
Permissão de Atualização | transferida para marcelo.pazos@inpe.br |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/446AUSL |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | abstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn lineage mark nextedition notes numberoffiles numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle size sponsor subject targetfile tertiarymark type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|